Microsoft Mathematics - PDFSEARCH.IO - Document Search Engine

Microsoft Mathematics
Results: 4205

#	Item
391	Data-Parallel String-Manipulating Programs Margus Veanes Todd Mytkowicz David Molnar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-28 21:15:16 Finite state transducer Mathematical analysis Theoretical computer science Ordinary differential equations Mathematics Classical cipher Obfuscated code Models of computation Spectral theory Automata theory
392	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
393	Microsoft Outlook - Memo Style Add to Reading List Source URL: www.gs.washington.edu Language: English - Date: 2015-04-15 16:55:26 Computational biology Mathematical and theoretical biology Bioinformatics Applied mathematics Science
394	Microsoft Word - R Reference Card 2.0.doc Add to Reading List Source URL: cran.at.r-project.org Language: English - Date: 2013-01-05 06:05:12 Elementary mathematics Functions and mappings Linear algebra Analytic geometry Function Normal distribution Vector space Conditioning Inverse function Mathematics Mathematical analysis Algebra
395	Microsoft Word - R Reference Card 2.0.doc Add to Reading List Source URL: cran.stat.nus.edu.sg Language: English Elementary mathematics Functions and mappings Linear algebra Analytic geometry Function Normal distribution Vector space Conditioning Inverse function Mathematics Mathematical analysis Algebra
396	Learning Semantic String Transformations from Examples ∗ Rishabh Singh Microsoft Research, Redmond, WA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-08 00:48:53 Automata theory Mathematics String Comparison of programming languages Regular expression Scheme Natural transformation Finite-state machine S-expression Computing Formal languages Software engineering
397	Microsoft WordExtension 2 Solutions.docx Add to Reading List Source URL: www.hsccoaching.com Language: English - Date: 2014-09-29 02:30:33 Trigonometry Analytic functions Integral calculus Trigonometric functions Sine Ordinary differential equations Wallis product Integration by reduction formulae Mathematical analysis Mathematics Calculus
398	Microsoft Word - R Reference Card 2.0.doc Add to Reading List Source URL: cran.stat.upd.edu.ph Language: English - Date: 2013-01-05 06:05:12 Elementary mathematics Functions and mappings Linear algebra Analytic geometry Function Normal distribution Vector space Conditioning Inverse function Mathematics Mathematical analysis Algebra
399	Microsoft Word - R Reference Card 2.0.doc Add to Reading List Source URL: cran.parentingamerica.com Language: English - Date: 2013-01-05 06:05:12 Elementary mathematics Functions and mappings Linear algebra Analytic geometry Function Normal distribution Vector space Conditioning Inverse function Mathematics Mathematical analysis Algebra
400	Microsoft Word - Ivan-lecture-e.docx Add to Reading List Source URL: www.ecei.tohoku.ac.jp Language: English - Date: 2012-01-19 01:26:37 Combinatorics Mobile ad hoc network Applied mathematics Evolutionary computation Computational geometry Evolutionary algorithms Technology Academia Jörg-Rüdiger Sack Ivan Stojmenovic Year of birth missing Computer science

UPDATE